The strength of Martin-L¨of type theory with a superuniverse. Part II Michael Rathjen∗ School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract

Source URL: www1.maths.leeds.ac.uk

Adverse Selection and an Individual Mandate: When Theory Meets Practice Martin Hackmann, Economics Department, Yale Jonathan Kolstad, Wharton School, UPenn and NBER Amanda Kowalski, Economics Department, Yale and NBER

Source URL: www.econ.yale.edu

Playing with Vampire: the dark art of theorem proving Laura Kovács and Martin Suda Vienna University of Technology RiSE & LogiCS Spring School on Logic and Verification

Source URL: forsyte.at

Spot the Ball: Detecting Sports Events on Twitter David Corney, Carlos Martin, and Ayse G¨ oker IDEAS Research Institute, School of Computing & Digital Media, Robert Gordon University, Aberdeen AB10 7QB

Source URL: www.dcorney.com

• Association football
• Computing
• Software
• Social media
• Web 2.0
• Twitter
• Real-time web
• Social networking services
• Didier Drogba
• Hashtag
• Manchester City F.C.
• Chelsea F.C.

Two sides to every story: Subjective event summarization of sports events using Twitter David Corney, Carlos Martin and Ayse Göker IDEAS Research Institute, School of Computing & Digital Media Robert Gordon University,

Source URL: www.dcorney.com

• Association football
• English footballers
• Microblogging
• Real-time web
• Text messaging
• Twitter
• FA Cup Final
• Carlos Tevez
• Didier Drogba
• Wigan Athletic F.C.
• Callum McManaman
• Petr ech

DSL Summer School Intro Martin Odersky EPFL Why DSLs? 1. Give users ways to express themselves in a notation

Source URL: vjovanov.github.io

• Computing
• Software engineering
• Functional languages
• Object-oriented programming languages
• Scripting languages
• Array data structure
• Array data type
• Red
• Scala
• Apache Spark

Drug Therapies for Treatment of High Cholesterol Tuesday ● October 27, 2015 ● 10:00AM – 4:00PM Agenda Joseph B. Martin Conference Center Harvard Medical School

Source URL: cepac.icer-review.org

An event-based simulation for optimising one-way car-sharing systems Martin Repoux, École Polytechnique Fédérale de Lausanne Burak Boyaci, Lancaster University Management School Nikolas Geroliminis, École Polytechniq

Source URL: www.strc.ch

• Transport
• Sustainable transport
• Carsharing
• Electric car
• Electric vehicle
• Traffic congestion
• Public transport
• Car

Long-term strategies for ending existential risk from fast takeoff Daniel Dewey∗ Future of Humanity Institute & Oxford Martin School

Source URL: www.danieldewey.net

Integrating Behavioral Health into Primary Care Friday ● May 1, 2015 ● 10:00AM – 4:00PM Agenda Joseph B. Martin Conference Center Harvard Medical School

Source URL: cepac.icer-review.org